GtkThemingEngine: Improve pixel alignment in arrows.

diff --git a/gtk/gtkthemingengine.c b/gtk/gtkthemingengine.c
index 216b1f22932c375c4e888b0bc151c4502f93a738..547f37321a62ea9bf67769b08e37ff938cbee206 100644 (file)
--- a/gtk/gtkthemingengine.c
+++ b/gtk/gtkthemingengine.c
@@ -700,9 +700,9 @@ add_path_arrow (cairo_t *cr,
   cairo_translate (cr, x + (size / 2), y + (size / 2));
   cairo_rotate (cr, angle);
 
-  cairo_move_to (cr, 0, - (size / 4) + 0.5);
-  cairo_line_to (cr, - (size / 2), (size / 4) + 0.5);
-  cairo_line_to (cr, (size / 2), (size / 4) + 0.5);
+  cairo_move_to (cr, 0, - (size / 4));
+  cairo_line_to (cr, - (size / 2), (size / 4));
+  cairo_line_to (cr, (size / 2), (size / 4));
   cairo_close_path (cr);
 
   cairo_restore (cr);